大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Environmental Software Systems. Frameworks of eEnvironment [electronic resource] : 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

0
索取号：
作者：H艡eb铆膷ek、 Ji艡铆.、Schimak、 Gerald.、Denzer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Star Clusters in the Era of Large Surveys [electronic resource] : Proceedings of Symposium 5 of JENAM 2010

0
索取号：
作者：Moitinho、 Andr茅.、Alves、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Parallel Genetic Algorithms [electronic resource] : Theory and Real World Applications

0
索取号：
作者：Luque、 Gabriel.、Alba、 Enrique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

VII Hotine-Marussi Symposium on Mathematical Geodesy [electronic resource] : Proceedings of the Symposium in Rome, 6-10 June, 2009

0
索取号：
作者：Sneeuw、 Nico.、Nov谩k、 Pavel.、Crespi、 Mattia.、Sans貌、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Dwarf Galaxies: Keys to Galaxy Formation and Evolution [electronic resource] : Proceedings of Symposium 3 of JENAM 2010

0
索取号：
作者：Papaderos、 Polychronis.、Recchi、 Simone.、Hensler、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Factors and Factorizations of Graphs [electronic resource] : Proof Techniques in Factor Theory

0
索取号：
作者：Akiyama、 Jin.、Kano、 Mikio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Intelligent Systems [electronic resource] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings

0
索取号：
作者：Kryszkiewicz、 Marzena.、Rybinski、 Henryk.、Skowron、 Andrzej.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

0
索取号：
作者：Kristensen、 Lars M.、Petrucci、 Laure.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Smith、 Michael J.、Salvendy、 Gavriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Insights into the Theory of Giffen Goods [electronic resource]

0
索取号：
作者：Heijman、 Wim.、Mouche、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Theory and Practice of Model Transformations [electronic resource] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings

0
索取号：
作者：Cabot、 Jordi.、Visser、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Design, User Experience, and Usability. Theory, Methods, Tools and Practice [electronic resource] : First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Marcus、 Aaron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Design, User Experience, and Usability. Theory, Methods, Tools and Practice [electronic resource] : First International Conference, DUXU 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

0
索取号：
作者：Marcus、 Aaron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Interface and the Management of Information. Interacting with Information [electronic resource] : Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

0
索取号：
作者：Salvendy、 Gavriel.、Smith、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

0
索取号：
作者：Sakallah、 Karem A.、Simon、 Laurent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.